The “UFO” procedure

UFO – Ubiquitous Forth Object

The UFO will form a combination of CPU and operating system technology, namely a stackmachine CPU core, and a Forth operating system. However both of these components will have novel properties, in that a scaleable target instance can be generated, according to a trade-off between gate-count, speed, power, and computational performance. Simpler machines can emulate more complex ones, but at the...

Adventures with Rubik’s UFO

IBM UFO Repository

Currently, WWW, large enterprises, and desktop users suffer from an inability to efficiently access and manage differently structured data. The same data objects (e.g. Product) stored by different databases, repositories, distributed web storage systems, etc are named, referenced, and combined internally into schemas or data structures differently. This leads to structural mismatch of data that...

A combined photoelectron spectroscopy and relativistic ab initio studies of the electronic structures of UFO and UFO(-).

The observation of the gaseous UFO(-) anion is reported, which is investigated using photoelectron spectroscopy and relativisitic ab initio calculations. Two strong photoelectron bands are observed at low binding energies due to electron detachment from the U-7sσ orbital. Numerous weak detachment bands are also observed due to the strongly correlated U-5f electrons. The electron affinity of UFO...

UFO: Predictive Concurrency Use-After-Free Detection

Use-After-Free (UAF) vulnerabilities are caused by the program operating on a dangling pointer and can be exploited to compromise critical software systems. While there have been many tools to mitigate UAF vulnerabilities, UAF remains one of the most common attack vectors. UAF is particularly difficult to detect in concurrent programs, in which a UAF may only occur with rare thread schedules. I...